Real computation

Results: 106



#Item
31Embedded operating systems / Real-time operating systems / Cross-platform software / QP / Software architecture / Software / Computing / Models of computation

Embedded Computing Design Resource Guide SOFTWARE Operating Systems: Kernels and tools embedded-computing.com/p9918156

Add to Reading List

Source URL: www.state-machine.com

Language: English - Date: 2014-07-07 10:50:46
32Business / Property tax / Valuation / Tax / Property tax in the United States / Finance / Real property law / Economics

Educational Service Unit (ESU) LC-3 Lid Computation Form and Levy Limit Form Instructions See the Budget Form Instruction Manual for overall guidance. LC-3 Lid Computation Form Line (1) –

Add to Reading List

Source URL: auditors.nebraska.gov

Language: English - Date: 2015-05-29 10:21:21
33Puzzle video games / Genetics / Protein structure / EteRNA / Foldit / DNA / Gene / Human-based computation game / Biology / Molecular biology / RNA

NEWS&ANALYSIS Game on! EteRNA players win points by submitting experiments to a real lab and using the data. C R OW D S O U R C I N G

Add to Reading List

Source URL: www.johnbohannon.org

Language: English - Date: 2015-04-08 13:18:32
34Rainbow hologram / Computer-generated holography / Signal beam / Diffraction / Stereoscopy / Holography / Optics / Imaging

Published in SPIE Proceeding #1667 “Practical Holography VI” (SPIE, Bellingham, WA, Februarypaper #04 (in press). Optimization of Hologram Computation for Real-Time Display Mark Lucente MIT Media Laboratory S

Add to Reading List

Source URL: www.media.mit.edu

Language: English - Date: 2004-06-28 11:24:30
35Models of computation / Theoretical computer science / Functions and mappings / Calculus / Ω-automaton / Finite state transducer / Continuous function / Derivative / Computability / Automata theory / Mathematics / Mathematical analysis

Regular Real Analysis Swarat Chaudhuri Rice University Sriram Sankaranarayanan

Add to Reading List

Source URL: www.cs.rice.edu

Language: English - Date: 2013-04-26 17:57:31
36Mathematical logic / Computable function / Computable number / Computable analysis / Computable real function / Specker sequence / Enumeration / Computability / Numbering / Computability theory / Theory of computation / Theoretical computer science

Preface Computable analysis is a branch of computability theory studying those functions on the real numbers and related sets which can be computed by machines such as digital computers. The increasing demand for reliab

Add to Reading List

Source URL: www.fernuni-hagen.de

Language: English - Date: 2009-09-05 02:34:00
37Mathematical logic / Theory of computation / Computable number / Computable function / Bounded quantifier / Computable real function / Function / Oracle machine / Decision problem / Computability theory / Theoretical computer science / Mathematics

arXiv:1204.6671v1 [cs.LO] 30 Apr 2012 δ-Decidability over the Reals∗ Sicun Gao, Jeremy Avigad, and Edmund M. Clarke Carnegie Mellon University, Pittsburgh, PAMay 1, 2012

Add to Reading List

Source URL: arxiv.org

Language: English - Date: 2012-04-30 22:29:41
38Economy of the United States / Law / Taxation / Income taxes / Capital gains taxes / Income tax in the United States / Withholding tax / Internal Revenue Code section / IRS tax forms / Taxation in the United States / Real property law / Public economics

2004 California Forms 593-C, 593-L, and Instructions Form 593-C, Real Estate Withholding Certificate for Individual Sellers and Form 593-L, Real Estate Withholding – Computation of Estimated Gain or Loss

Add to Reading List

Source URL: www.ftb.ca.gov

Language: English - Date: 2008-01-09 19:46:10
39Physics / Biology / Swarm behaviour / Applied mathematics / Particle swarm optimization / Evolutionary computation / Tracking / Mathematical optimization / Video tracking / Evolutionary algorithms / Collective intelligence / Swarm intelligence

Real-Time Pedestrian Tracking with Bacterial Foraging Optimization Hoang Thanh Nguyen and Bir Bhanu University of California, Riverside Riverside, CAUSA ,

Add to Reading List

Source URL: www.genetic-programming.org

Language: English - Date: 2012-06-28 00:31:36
40Business / Income tax in the United States / Internal Revenue Code section / IRS tax forms / Withholding tax / Installment sale / Like-kind exchange / State income tax / Income tax / Taxation in the United States / Public economics / Economy of the United States

2005 Real Estate Withholding Certificate and Real Estate Withholding - Computation of Estimated Gain or Loss

Add to Reading List

Source URL: www.ftb.ca.gov

Language: English - Date: 2008-01-10 12:08:18
UPDATE